481. Computational molecular dynamics: challenges, methods, ideas: proceedings of the 2nd International Symposium on Algorithms for Macromol ecular Modelling, Berlin, May 21-24, 1997 ]electronic resources[
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Molecular dynamics-- Computer simulation,Congresses ، Macromolecules-- Computer simulation
Classification :
QP
517
.
M65
.
I56
1999
482. Computational pathology and ophthalmic medical image analysis :
Author: Danail Stoyanov, Zeike Taylor, Francesco Ciompi, Yanwu Xu et al. (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Eye-- Imaging, Congresses.,Pathology-- Data processing, Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Image Processing and Computer Vision.,Pattern Recognition.,Probability and Statistics in Computer Science.,Algorithms & data structures.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Mathematical & Statistical Software.,Image processing.,Maths for computer scientists.,Pathology-- Data processing.,Pattern recognition.
Classification :
RB38
483. Computational science -- ICCS 2019 :
Author: João M.F. Rodrigues, Pedro J.S. Cardoso, Jânio Monteiro, Roberto Lam, Valeria V. Krzhizhanovskaya, Michael H. Lees, Jack J. Dongarra, Peter M.A. Sloot (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity, Congresses.,Computer science, Congresses.,Computational complexity.,Computer science.
Classification :
QA75
.
5
.
I23
2019
484. Computational science and its applications -- ICCSA 2019 :
Author: Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses.,Computer science, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer networks.,Computer science.,Computer software.,Software engineering.
Classification :
QA75
.
5
.
I22
2019eb
485. Computational science and its applications-- ICCSA 2013 :
Author: Beniamino Murgante ... [and seven others] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer networks -- Congresses.,Computer science -- Congresses.
486. Computational topology in image context :
Author: Rebeca Marfil, Mariletty Calderón, Fernando Díaz del Río, Pedro Real, Antonio Bandera (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer vision, Congresses.,Image processing-- Digital techniques, Congresses.,Computer science-- Mathematics.,Computer vision.,Image processing-- Digital techniques.
Classification :
TA1634
.
I58
2019eb
487. Computer Aided Verification :
Author: Isil Dillig, Serdar Tasiran (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
758
.
C38
2019
488. Computer Algebra in Scientific Computing
Author: \ [edited by] Vladimir P. Gerdt...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,Algorithms,کامپیوتر,الگوریتمها,a04,a05,a04,a05,Computer science -- Mathematics -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها
Classification :
QA
76
.
9
.
M35C6
2015
E-Book
,
489. Computer Assisted Radiology
Author: Computergestützte Radiologie : Proceedings of the International Symposium / Vorträge des Internationalen Symposiums.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Biomedical engineering.,Computer-aided design.,Engineering.
490. Computer Vision - ACCV 2010 :
Author: Rom Kimmel, Reinhard Klette, Akihiro Sugimoto (Eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer vision, Congresses
Classification :
TA1634
.
A85
2011
491. Computer-aided innovation (CAI)
Author: / edited by Gaetano Cascini.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer-aided design -- Congresses, Technological innovations -- Congresses
Classification :
T
185
.
C64
2008
492. [Computer aided systems theory] [revised selected papers]
Author: [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
493. Computer aided verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I
Author: / edited by Isil Dillig, Serdar Tasiran.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programs -- Verification -- Congresses.,Software engineering.,Computer science.,Computer science.,Computer programs.,Software engineering.
494. Computer algebra and geometric algebra with applications
Author: / Hongbo Li, Peter J. Olver, Gerald Sommer (eds.).
Library: Library of College of Science University of Tehran (Tehran)
Subject: Algebra--Data processing--Congresses., Computer algorithms--Congresses., Geometry, Algebraic--Congresses.
Classification :
QA
155
.
7
.
E4
I65
2004
495. Computer algebra and geometric algebra with applications : 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004 : revised selected papers
Author: Hongbo Li, Peter J. Olver, Gerald Sommer )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Algebra,Congresses ، Computer algorithms,Congresses ، Geometry, Algebraic
Classification :
QA
76
.
L28
Vol
.
3519
496. Computer algebra in scientific computing :
Author: Victor G. Ganzha, Ernst W. Matr, Evgenii V. Vorozhtsov (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing -- Congresses.,Algebra -- Data processing.,Science -- Data processing -- Congresses.
497. Computer algebra in scientific computing :
Author: Victor G. Ganzha, Ernst W. Matr, Evgenii V. Vorozhtsov (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing -- Congresses.,Algebra -- Data processing.,Science -- Data processing -- Congresses.
498. Computer and communication engineering :
Author: Miguel Botto-Tobar, Julio Barzola-Monteses, Eduardo Santos-Baquerizo, Mayken Espinoza-Andaluz, Wendy Yánez-Pazmiño (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering, Congresses.,Computer networks, Congresses.,Software engineering, Congresses.,Computer engineering.,Computer networks.,Software engineering.
Classification :
TK7885
.
A1
499. Computer and information science
Author: edited by Roger Lee
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer science, -- کنگرهها, -- Congresses,a03
Classification :
QA75
.
5
500. Computer and information sciences :
Author: Tadeusz Czachórski, Erol Gelenbe, Krzysztof Grochla, Ricardo Lent (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Information technology, Congresses.,Artificial Intelligence.,Computer Communication Networks.,Information Systems and Communication Service.,Software Engineering.,System Performance and Evaluation.,Artificial intelligence.,Computer networking & communications.,Computer science.,Computers-- Hardware-- Handheld Devices.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Information technology.,Network hardware.,Software Engineering.,Systems analysis & design.
Classification :
QA75
.
5
